теорія доведень

ТЕОРІЯ ДОВЕДЕНЬ - розділ сучасної логіки, предметом дослідження якого є доведення - як синтаксичного об'єкта і як динамічної процедури, визначених у різноманітних логічних системах.

Філософський енциклопедичний словник / НАН України, Ін-т філософії ім. - К. : Абрис (Бібліотека Державного фонду фундаментальних досліджень). . 2002.

Смотреть что такое "теорія доведень" в других словарях:

  • логіка — (грецьк. λογική наука про умовивід, від λόγοξ слово, поняття, судження) дослідження міркувань (філософських, математичних та ін.) з метою створення теорії їх правильності. Необхідність цих досліджень виникає у зв язку з потребами обґрунтування… …   Філософський енциклопедичний словник

  • сучасна логіка — етап досліджень у логіці (починаючи од серед. XIX ст.), який, на відміну від традиційної логіки, характеризується принциповим застосуванням до аналізу міркувань математичних методів та значним поширенням області аналізу міркувань (математичні,… …   Філософський енциклопедичний словник

  • Хінтікка, Яаакко — (1929, Вантамаа, Фінляндія) фінськ. логік і філософ Ф. ілософську освіту отримав у Гельсінському ун ті. В 1953 р. захистив докт. дис В. 1954 1964 рр. працював у Гарвардському та Гельсінському ун тах, од 1964 р. у Стенфордському ун ті та Академії… …   Філософський енциклопедичний словник

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.